Data type - PDFSEARCH.IO - Document Search Engine

Data type
Results: 6762

#	Item
101	Declarative, Sliding Window Aggregations for Computations at the Edge Christopher Meiklejohn Seyed H. Haeri (Hossein), Peter Van Roy Add to Reading List Source URL: christophermeiklejohn.com Language: English - Date: 2016-08-08 07:05:20 Computer programming Software engineering Computing Conflict-free replicated data type Data types Functional programming Laboratory for Atmospheric and Space Physics Tree Toi Monad
102	On Propagation of Deletions and Annotations Through Views Peter Buneman ∗ Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:13 Relational model Data management Computing Data Database theory Mathematical notation Tuple Type theory Relational database Relational algebra Relation Bin
103	Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-09-05 00:16:54 Software engineering Computing Computer programming Type theory Data types Object-oriented programming Concurrent programming languages Type system Scala Intent Type safety Java
104	Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Software engineering Computer programming Computing Type theory Data types Functional programming Subroutines Lambda calculus Subtyping Const Unification Type system
105	o matter your job (Web developer, database administrator or designer, or an application or B2B integrator), it’s time to learn about eXtensible Markup Language (XML) databases. An XML database is a database that Add to Reading List Source URL: web.archive.org Language: English Computing Data modeling Data management XML databases EXist Database XML schema XQuery Relational database management system Document type definition VTD-XML XML Certification Program
106	Computing Fundamentals Salvatore Filippone 2012–2013 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2014-09-23 08:12:56 Software engineering Computer programming Computing Procedural programming languages Conditional Boolean data type C For loop Statement Switch statement Logical connective Subroutine
107	[Type text] The United Nations Expert Group on Land Administration and Management (UN-EG-LAM) Terms of Reference Add to Reading List Source URL: ggim.un.org Language: English - Date: 2016-05-20 08:31:03 Geography Geographic data and information Data United Nations Committee of Experts on Global Geospatial Information Management Geographic information systems United Nations Economic Commission for Europe Spatial data infrastructure Land administration Vanessa Lawrence Global Map
108	On the Revival of Dynamic Languages Oscar Nierstrasz, Alexandre Bergel, Marcus Denker, St´ephane Ducasse, Markus G¨ alli, and Roel Wuyts Software Composition Group, University of Bern www.iam.unibe.ch/∼scg Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Software engineering Computer programming Computing Object-oriented programming languages Object-oriented programming Data types Type theory Programming paradigms Smalltalk Type system Objective-C R
109	Submarine Transit Lanes Environmental Common Operating Picture (COP) GIS metadata DownloadedFinalizedPrepared for: Naval Facilities Engineering Command (NAVFAC) Atlantic Add to Reading List Source URL: portal.midatlanticocean.org Language: English - Date: 2016-05-18 16:29:23 Computing Clothing Data types Mathematical analysis Formal languages C++ String C++ string handling Extensible Storage Engine Type conversion Thong Pi
110	TRANSFORMING MULTIPLE-RECORD DATA INTO SINGLE-RECORD FORMAT WHEN NUMBER OF VARIABLES IS LARGE. David Izrael, Abt Associates Inc., Cambridge, MA David Russo, Independent Consultant ABSTRACT In one large survey project eac Add to Reading List Source URL: www.ats.ucla.edu Language: English - Date: 2016-08-17 18:18:26 Software engineering Computer programming Computing Source code Type theory Holism Subroutine University of Cambridge Computer Laboratory Macro Constant Variable HindleyMilner type system

UPDATE